public class NodeSub extends Node {
	public static int dummy;
	NodeSub nextNodeSub;
	public NodeSub prevNodeSub;

	public final void unlinkSub() {
		if (nextNodeSub == null) {
		} else {
			nextNodeSub.prevNodeSub = prevNodeSub;
			prevNodeSub.nextNodeSub = nextNodeSub;
			prevNodeSub = null;
			nextNodeSub = null;
		}
	}

	public NodeSub() {
	}
}
